ipos

Results 2 comments of ipos

@sergeysova I'm not sure in types for `without source` cases. https://tsplay.dev/wX28Jm or https://tsplay.dev/w14vKW

@sergeysova New overload was added for returnable `else` and `then` units. Tests needed. https://tsplay.dev/mbG8PW