test invalid lvalues
current_function instruction
emit code for capturing and forwarding bound values
implement forwarding of bound values
functions with bound values can be called
binding fixed, all tests pass