3 lambdapp

Updated lambda++ to work with unified-builtins2.