Thumbs up for the tour. I was able to navigate it on my 4.7" phone with Firefox.

I basically lost interest into the language when I run into the most verbose type declaration I ever saw, isomorf.number.Number (I couldn't copy it on the phone). There must be a better way to do it.

But the idea is cool even if maybe not very new. I've seen different languages compiled or interpreted into the same pcode, bytecode, etc. Maybe the translation here is deterministic.