remove redundant file
removed old function that was not being used
desugar type bindings
Merge pull request #6 from oftn/master

merge OFTN version