Do β-reduction on types and the transformation from the parse tree in one pass
Clean
Handle exceptions with parameters
Parser: Remove the duplications for the protected rules