Body -> ValBody
Expr imported qualified, has Val and Type expressions