- refactored ExportNames to cleanly separate static and dynamic semantics
- added LinkageConstraints static and dynamic semantics