Add typesets
Add more documentation to module type inference code
Some more user documentation for type functions
Implement typeset matching
Expose numeric, floating, integral and complex typesets
Add type to error message
Make known objects values object types
Use more concise string representation for typesets
Support varargs in user type functions
Support type sets in register_callable for type inference
Update user documentation for typing functions