finished core implementation of ExprD3.
Expr requires weakening.