I understand that this makes sense for Mathics. What I don't understand is why Wolfram has any interest in separating the language from the implementation.