Remove unnecessary import
Add embedHermitM
Generalize type of parseCoreExprT
Generalize type of ww assumption intro translations.