Add Comonad and Extend specs
typo
switcheroo
Formatting
Formatting
Add extend and from to Id spec
Fix identity and laws
add Functor constraint
move law
Update comonad with functor law + change Id impl.
Accidentally missed backticks
Merge pull request #70 from 5outh/master

Add Extend and Comonad Specifications