Add *Expr.t
Add parse_decl_val
Add Top.Class
Add te to Top.Class
Add add_typeclass