Fix indirect rep again and reprove indget, indread
Fix indirect rep again and reprove indget, indread

Also figure out how to use ForN loops correctly, so the unify_rep silliness is
no longer necessary. That'll be removed in another commit before merging into
master.

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl