General type-inference library.
Analyze the types of all bindings in the module name
.
Return the type signature for a given source code expression.
Return the type signature for the procedure x
as
a list whose first element is the return type and whose
remaining arguments are the parameter types.