<append #X () #X>;
<append (#A : #Z)  (#A : #X) #Y>
        <append #Z #X #Y>;

