Added POLDER_INVARIANTS and rela type for contract instead of alias.
Documentation.
Added invariants. Reduced boilerplate.