Add MathSpecification

- Rename *Specfication to QuickCheckSuite inner ones