Add union types in language so that it will be possible to enable static typing in TurboScript. It will be exactly as in typescript with same logic!