Document instance and declaration heads and rules