add support for checking members of datatypes with type parameters (not uses, just definitions)