Mainly adapting to new cocospec syntax for contracts

- Adapted the parsing of specification with a cocospec compatible one
- The data structure of contracts is now almost cocospec compatible
- Lustrec-test has been updated to use the newest syntax

Adapted the parser/types/constructors for cocospec syntax

- Cleaned a little bit our parser: removal of old prelude constructs