C Type implicit requirements baked in

C must have Ring and Signed evidence now
.show removed, overriden toString

Tests updated to use .toString instead of .show
Merge remote-tracking branch 'james/2.10.0' into topic/polynomials