Automated Algebra generation

This automated algebra generator takes a signature and generates the algebra type definition, the enumeration algebra, the counting algebra and the algebra product operation. It also generates a simple yield grammar that generates the complete term algebra.