removed the types from the head of the lower rules