add examples/Expr.hs, generating closed terms.