TypeInferrer added