added lots of new algebras; started work on a good automatic test suite