VariableBaseName
VariableBaseName => x
-- an optional argument used when creating monoids or rings to specify that the variables should be
x_0, ..., x_n
.
