added a pair constructor to be able to construct lists in the SEC.  in PCONS text it's: x<>y -> (x,y)