Module typeinfer 

Type inference for user-defined functions.

Reserved API: type inference is not yet wired into the main compilation pipeline.