Concrete helper types
Removing unused test util code
Getting roots
Replacing Int stuff with Rational stuff; got most important tests passing