Implement a cleaner way to document entrypoints and explain docs in the tutorial
Clarification and motivation
This is particularly related to #90 (closed)
The first problem is that documenting entrypoints requires defining instances of a big typeclass, which is scary-looking for beginners, especially if they are not Haskell-friendly.
The second problem is that, while there are ways to print and create contracts from
ghci explained in the tutorial, there is no explanation of docs in it or method to interact with them.
Entrypoints' documentation is easily writable by anyone and the concept of docs is explained and presented in the tutorial.