>>121ではないが、>>122の想定してる定義は
http://swissnet.ai.mit.edu/~jaffer/r5rs-formal.pdf
の7.2節みたいな内容か？
まあすべての言語がalgolやsmlやschemeみたいな意味定義は持ってないわな。