Added document annotations to declaration in canonical modules
Added initial version of generating documentation for datatype defs
Added initial version of generating docs for definitions
Fixed a bug in extractDocComment + minor changes elsewhere