Some re-organisation of the metatheory.

Mostly re-ordering the theorems in typeSysPropsScript.sml to group like
theorems together.