Add typesets
Add more documentation to module type inference code
Some more user documentation for type functions
Implement typeset matching