clarified example, setoid vs set
emphasized bisim univ property
Merge branch 'master' into ieee