ContextValidator

Adds support for detecting unitary operators.
Merge pull request #7 from Gijs-W/languageConstructs

ContextValidator