Type inference for TypeClassLang

[hrutvik]

Type inference for TypeClassLang must perform ordinary type inference and further resolve overloading. We can pursue either a traditional approach or a constraint-based approach like PureLang's current type inference. Either way, inference must annotate untyped TypeClassLang programs to produce typed ones, and this annotation must be sound with respect to TypeClassLang's elaboration rules.