Implement JIT support and basic optimization passes. It, however, can't be compiled.