create new Frame: call expression
assignments create bindings, define function create bindings
有点像js中的作用域
your parent is always wherever the function was defined
在定义的时候就决定了
找不到的话就会报错
hoc 闭包
lambda定义在 一个函数中，所以p=f1
