checkSemantics

Performs semantic checking for TypeDomain.