Moving more theorems around

Mostly out of typeSoundScript and into typeSysPropsScript or
weakeningScript, as made sense.