Added an ExportSpecification field for top-level RWC-pattern-bound variables.