A PoC compiler that translates untyped lambda calculus into TypeScript types - susisu/lambda2ts