Added mealy bisimulation experiments and improved the example classes