Typed typelang

This issue is entirely tongue in cheek please know no offense is intended. I'm super impressed by this and hoping @ronami will take this as honoring it.

This would be much more safe to use if the embedded language had a static type system to prevent errors in the static runtime.