Bugfix: initial semantic validator implementation