normalizer: improve normalization call for checking non_informative types
normalizer: improve normalization call for checking non_informative types

We only need a HNF to decide, it is inefficient to normalize any
further than this. Can't really use Weak too, but oh well.

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar