Removing ModuleElts

  - "exported" annotation used instead