Slava/typescript-types-script

for the lolz compiler to perform arbitrary computation in TS type system

Haskell