I'm not completely sure I'm reading this proposal correctly, but at first blush it seems like it would only support lexically scoped variables. If so then that would be an unfortunate limitation.
ClojureScript, for instance, supports dynamic bindings.