Util
add Data.Fallible
add Data.Expr.ForAll
add TypChk