Next steps for reducing overall compilation time

Can you JIT the type system?