Some progress on implementation paper revisions
More sane scoping rules for where/type classes
Parameters in the type signature get propagated, indices do not.
So you no longer need to pass parameters explicitly if you need them
in a where clause, and you no longer need to give explicitly typed
helpers in type class instances for types with indices.
Small library tweaks and documentation update