pervasive flatten-expr

- defelem will do this automatically, eventually