Main changes:
- It is now possible to compute general A-expansion
- Implemented arbitrary coefficients forms
- Rings of arbitrary type for any ranks can be created (previously only implemented in rank 2)
- Changed the name of the parameter at infinity to "u" instead of "t"