introduce diagram validator interface and its subclasses + tests

[RuoyuDeng]

To reduce the complexity of refactoring code, I have included the semantic constraint classes as well.