Object: Exp | String | Integer. Exp: Lambda | Var. Lambda = Sym Exp. Var: Sym | Addr.