- Fixed issue with type checking in semantic rules