Reversing a List

To reverse a non empty list we reverse its tail and then append a singleton list consisting of just its head to the right.

reverse: list(alpha) -> list(alpha);
reverse [] <= [];
reverse (x::m) <= append(reverse(m),[x]);