TS: Added missing TagOf and TaggedTuppleFieldRead in IrReplaceSwitch.
TS: Fixed temp variable declaration scope for multi tagged type input port variables.
TS: Added printing of TagOf expressions, they are printed as a boolean expression. True if the variable expression have the specified tag.