Wrapped up the formal definition of coinduction
My first cut at bisim.md