14/10/28

Add TypeInfer