Better doc and tests for ADT validation