Add TypeInference module