[TM-237] Simplify view
We have a request to represent views as view a r = (a, contract r)
.
Feather is not usable with such representation, so I remove feather description and examples. They are preserved in git history, and we will bring them back when multiple entrypoints proposal feature is implemented.