Moving the code that validates table assignment to the subtyping relationship