def definition_value(expr): if is_symbol(cadr(expr)): return caddr(expr) return make_lambda(cdadr(expr), cddr(expr))
def lambda_body(expr): return cddr(expr)
def binding_body(expr): return cddr(expr)