An Expr backed by a tree. Only the current compiler trees are allowed.
These expressions are used for arguments of macros. They contain and actual tree from the program that is being expanded by the macro.
May contain references to code defined outside this TastyTreeExpr instance.
An Type backed by a tree