fixed desugaring bug for data ops causing exponentially large types!
merging
many small fixes while pre-typing; adding support for implicit params at both term and type-level
added a project file for the backend
Merge branch 'master' of https://github.com/nikswamy/FStar