Exporter. Implemented

Exporter is basically RuleExporterOO; makes ShapeExporter unnecessary
Shape._is_well_formed. Implemented for name