inverse elements should be capitals

[RobinHankin]

the freealg package uses upper-case letters as the multiplicative inverse of lower-case letters. It would be good to do that here (or explain why it is a bad idea)