Change some example theories for usersorts
Fix bug in iterated function intruder rules
Minimal hash chain modifications