Fix type checking references to modules (fix #40)
Minor refactoring
Minor refactoring
Remove obsolete comment
Add implicit module __doc__ attribute
Improve support for module attrs
Support __doc__ and __class__ attributes

The support does not extend yet to callable types.
Improve type check error messages
Minor refactoring
Minor refactoring
Add type and callable object special attributes

Close #38.