Completed the proof of bisim, still get universe inconsistency.
Fixed the definition of bisimulation