Rebuild structurenExport core code to a librarynPlug in QuickCheck and move tests to proper module