Fixup comments and artifacts from migration

Some of the comments had become out-of-date, they have been fixed. A
large comment referred to a condition that shouldn't happen in trans, so
rather than returning a value, it now panics if the case arises.