checking in the abstractions for valid type checking: