verify that class instances satisfy the class spec
more tests
fix substitution issue in datacon specs