Simplifying the AST used in the typing rules