Clean and generalize code for bunnies and identities, make step towards arbitrary algebras