A program is a pair (CT, e) of a class table and an expression.