Added optional to load a specified module
Main installation fail message
Misc changes
Fixed merge conflicts with master
More code! Extra categories, tests of pipe operators, type relationship building