Immaculate indices

This release uses comonads to back the indexed type. This simplifies the code base a great deal (cutting over 1,000 lines of code) and makes WAGS programs more readable (less boilerplate) as seen in the examples.