Add type directed indexing similar to vinyl

[daig]

currently we need to supply a Nat as an index, we should add a typeclass that associates an index with a unique type (or the first matching type) in the list, for convenience