Bootstrap: type inference and codegen for calls with arguments