Fixed bug in parsing procedures - parameter list was being returned in
reverse order.
Added example of a recursive list append procedure - can be proved with
depth set to 16.