Added: initial semantic validator implementation