greatly improve performance of closed variables

- avoid undefined var check for closed variables that come from arguments
  (detectable by the fact that the variables are not arguments inside the
  closure, but are never assigned to either)

- use tbaa_const for loads from closure environments. these are never
  mutated; mutable bindings use boxes.