Function: revappend

Equivalent to (append (reverse X) Y).

(fn X Y)