A base class for things that have positions (currently: modifiers and trees)
A map that applies three functions and a substitution together to a tree and makes sure they are coordinated so that the result is well-typed.
Utility functions to go from typed to untyped ASTs
Some creators for typed trees
A map that applies three functions and a substitution together to a tree and makes sure they are coordinated so that the result is well-typed. The functions are