Simplified the recursive append program; also added two test programs:
non-tail and tail recursive list reverse. Cyclist cannot yet prove the
non-tail recursive program.
Fixed bug in procedure call rule which made parameter substitution rule always be included in proofs even if it wasn't needed.