TypeBased Compiler
TypeBased Compiler first implementation.
Two Compiler exceptions: InvalidTransformationException and UnregisteredTransformationException