Fix error that caused the gcd test to fail.
Reenable failing tests. All tests pass.
Remove types which will previously commented out.

These types are now provided by the algebra project.