untypeExpr' (CreateExpr t fname args) = 
  E.CreateExpr t fname $ map untypeExpr args
untypeExpr' (CreateExpr t fname args) = 
  E.CreateExpr t fname $ map untypeExpr args
untypeExpr' (CreateExpr t fname args) = 
  E.CreateExpr t fname $ map untypeExpr args