Move Endo to the coq-haskell repository
Remove Toy.v