Added some comments and began a new approach to writing
Removed the `hanoi` constructor and added a comment about representation
Started working on the implementation of `topDisk`
Added DecEq, my own implementation of something that apparently already exists.