Move some theorems from weakening to typeSysProps.

Because they had nothing to do with weakening.