Rewrite Syntax.Term
Rewrite Normalization
Rewrite conditions, patterns, termination checks
Rewrite type checking of data type and function definitions
Finish rewriting
Bug fixes