OP_EVAL is a new opcode that evaluates an item on the stack as a script. It enables a new type of bitcoin address that needs an arbitrarily complex script to redeem.
Initial support for (a and b), (a or b), and 2-of-3 escrow transactions (where a, b, and c are keys).