replaced bisimulation with the correct term bisimilarity
explain destructors of bisim
Merge branch 'master' into abstract_easy