这章没太看懂跟 shadow 有什么关系。
shadow
前面写了两个不同形式的算术表达式 parser，后面用另一种方式定义了自然数。
parser
估计是想跟柏拉图的地穴寓言一样表达一下认知论的东西。