Panackelty’s early use of global functions and receiver-call sugar was a deliberate choice. I needed to get the language moving, build useful programs and establish a working compiler and runtime.
A compiler can tell you whether code passed or failed. Panack Explain can also show selected decisions the checker made: the types it compared, the facts it used, and where those facts came from.
Panackelty puts a lot of weight on being able to understand and rebuild its own tools. It would be easy to turn that into a rule: if we rely on another project, we haven't done the job ourselves.
If a compiler turns 2 + 3 into a few instructions, something still has to run them. It needs to know where the numbers are, what + does, and where to put the answer. A virtual machine provides that machinery.