use optimized application when computing universes on fastpath, removes an expensive delta constant 0 normalization, cf. #2366
use optimized application when computing universes on fastpath, removes an expensive delta constant 0 normalization, cf. #2366

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar