Bootstrap: type inference and codegen while