Eliminated DatatypeRule