Adding `move_value [lexical]` and `begin_borrow [lexical]` should happen all the time at this point. Remove the ability to omit these instructions and update the corresponding tests.
Instead of writing out [initalization] for some instructions, use [init] everywhere.
Arguments are copied into new cloned functions in a number of places. Wherever that happens, be sure to transfer the attributes as well.
