remove_piece is defined
Some more lemmas
Removing Coq implementation in favor of Haskell project
Initial commit of Cabal build file