Add TypeScript type gymnastics

[ahaoboy]

TS type is also Turing complete, and there are already many interpreters that implement simple lisp.

https://www.reddit.com/r/typescript/comments/17a79nv/pretty_sure_typescripts_type_system_is_a_lisp/

https://github.com/Sheyne/ts-type-bf/blob/main/type-lisp.ts

https://zhuanlan.zhihu.com/p/427309936

[kanaka]

I look forward to your PR! 😁