Cleanup inference related classes

Infer.java and Type.java should be brought in sync with lambda repository, as they contain several improvements over the current versions; this should serve so as to minimize changes in preparation of the big inference push featuring the new inference scheme.