Keep track of normalized vs un-normalized entries in the monomorphiza…#520

msprotz merged 1 commit intomasterFStarLang/karamel:masterfrom

protz_fix_stateFStarLang/karamel:protz_fix_stateCopy head branch name to clipboard