#### 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.