About all this Lisp fuzz
ilyak: "If this is true and everything on the language are built atop of those, or atop of stuff built atop of those (in n-levels), how can different implementations possible be incompatible?"
You cannot build i/o atop of axioms.
It would always be a foreign thing that you have to deal with, incompatibly of using a long spec.