Probably doomed, should write proper AST

[wires]

So @clayrat noted:

alex 5:15 PM hm looks like the `ps-interop` thing is doomed 😞
alex 5:15 PM the internal JS representation of `Mu`'s `Inn` is just a `()`
alex 5:16 PM so you can't deserialize mu-terms
alex 5:17 PM guess we should switch to writing proper termdefs for js

So we have two ways in which other programming languages relate to typedefs.

1. target language for static codegenerator
2. have representation of typedefs type definitions work dynamically with types (reflect into UI, generic programming on types, etc)

One option would be to write a typedef loosely representing the parsed AST and then use the typedefs compiler to generate the 'typedefs-interop' thing