Added a proper definition of bisimilarity
Fleshed out rest of article