Simplified plus(x,y) in lib.