Fixing the queryable instance for (), finishing the initial acid-state instances, and fixing typeclasses
Initial commit for tach-acid