simplify type inference + code emission for IN params