New New type inference system