Add a Compiler abstraction, delegating to System
Recursive types and friendly scoping through proxies.