Rethinking the subtyping of table types