Added TypeableE, used to know the type of an expression.