fix a few bugs, functionality for aliasing type operators now works
fix more bugs
representation for type definitions with parameters
Merge pull request #15 from oftn/master

merge OFTN version