Fast interpreter with macros, local type inference, LLVM backend.