1. 用一个新的语法关键词 address 来处理常量与变量 这两种名词对语义的过载
   就像 literal 一样 这是很容易在 函数体中实现的
   既然已经消除了 解释性语义 那么一切都简单了
2. 改常量和变量的使用方式 lambda-calculus 就更方便使用了