Expr - expression language with type checker