Add annulled productions, and claiming and stuff

sorry for stupid commit messages