3 lambdapp

Updated lambda++ to work with unified-builtins2.
This should be Rho:Map, because otherwise it might become Rho:K and then match a random prefix of the k cell.