Add a section about the Spec Interpreter