add IsTotFun only for partial applications of pure functions
add IsTotFun only for partial applications of pure functions

A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar