partial implementation of DL checks with supporting common code in the validator. Tests still needed, as are refactoring of error names and Previous Version