Third release

Among contributions:

- Atomic values
- Separation between public and private declarations and type representations (*_repr.h)
- New macros for separating pre, post and invariants in contracts
- Various corrections guided by previous pull request comments