Eta-expand some worker functions

Prior to this change, the computation of the hash

    h0 = hash k0

would create an extra thunk in every call to e.g. 'lookup'.