Compiler for a high-level, strictly-typed object-oriented language with lazy semantics.