app(nil,X)=X.
app(cons(A,X),Y)=cons(A,app(X,Y)).

app(app(X,Y),Z)=dapp(X,Y,Z).

%precedence([cons,nil,app,dapp]).