Remove DataType and related acceptance test.
Implement missing support for ADTs with internal contracts.
Enhance README with documentation about ADTs and Rep