Print stuff

Adds stringify methods to the contract `DataModels`.

Adds a `Standardize` method to the `Solver` implementation.

Adds "tests" for printing, standardizing.

TODO:
- [ ] Make *real* tests for stringify
- [ ] Make *real* test for standardizing
- [ ] Print matrices instead of equations