Eta-expand partial data constructor applications during ML translation. Fixes #72
Merge branch 'master' of github.com:FStarLang/FStar