[ts] Add support for expr satisfies Type
expressions
#14211
Merged
expr satisfies Type
expressions
#14211