multi-argument LamDict. Added missing unboxed cases to optimizer traversals