Use a_undef to signal #match failure
Use (ok, fail) customer for #lookup and #match
Added act_vau to construct operatives
Refactored to merge lambda/vau handling and eliminate thunk