Added better erroring for Semantics