fixes for nested exec invocations; test4
add lookupSwitch and tableSwitch; macro-fy boxing and boxed equality; test4 works