Added pt2dataDefProd to parse the 'dat ADT' statement
Implemented data def parsing
Finetuning of docstring propagation
Removed unused imports
Parsing type synonyms added