Bugs: uses symbols from the beginning of the alphabet as variables in the new ring; makes a quotient ring when it doesn't have to.
