Use strict type name directly instead of with -S
Fix typo
Export Error monad stuff from Error module
Add note about module hierarchy