fix a few bugs, functionality for aliasing type operators now works