TS: Makes sure that constants that are only referring (instead of copy) to outside block existing variable in not freed at end of block, also handles freeing of all tuple types not only single tag ones.
Added warning level to codegen error handling.
TS: Cleanup of multi tagged tuple type handling.
Clean out some reported errors of unknown placement of variable, by setting a correct placement.
TS: improving warning message that it is only the annotation of a tuple type that is skipped, currently this has no effect on the produced output., which is the reason for not properly fixing the annotation.