Redefined Applicative instance for CountedList, resulting in only a ReifyNatural constraint when you try to use it.
Added more examples (ported from old examples) and fixed error where I'd accidentally exchanged outward for inward in Names, leading to unexpected infinite loops.