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