Make typeInference pass error outwards