* Support type and consistency checks with error transitions