Complete rewrite:

	* Use my symbols library for pre-TypeLits GHCs
	* Revamped design to support arbitrary optics (Prisms, Isos, etc)
	* Included instances for tuples as demonstration