C type implicit Ring and Signed evidence now required

C must now have evidence of a Ring and Signed for Term and Polynomial instantiation
.show -> toString