These definitely are extensions that you could add to S-expressions, no one can disagree there.