implemented delayed substitutions; have not switched over yet
Merge branch 'master' of https://github.com/nikswamy/FStar
parser tweaks: trailing semi-colons in records, typ-app detection and conditionals