Covert project to use Rational over (Ratio Integer) this both simplifies notation and allows a smaller instancing of arbitrary more suitable to the testing needs.