tweak
checkpoint; adding n-ary function symbol names in the z3 encoding
guarded shallow embedding optimization with a flag
Merge branch 'master' of https://github.com/FStarLang/FStar