export HasSpock(SpockState,...) to be able to write type signatures

Currently it's impossible to write the type signature of runQuery or getState in a program using spock because the associated types are not exported.