Restored the examples

Natural numbers, lists, and insertion sort. Leftist heaps in progress.
Restored the leftist heap examples

And renamed FSwap-⊗ to ⊗-FSwap for consistency.