Syntax and Type Transformations