TS: Fixed scope change for forward type declarations, when moved from namespace to elaborated top network.
TS: Guards may now have variable declarations that are initialised to temporary variables containing a peeked token, these are now properly annotated as variables dependent on a peek variable. Also in the printing of the guards simple such initialisations are handled (where a = is enough and no extra memory mgmt etc is needed).