How feasible is it to output the code into a typed language like Typescript or Reason?