Restoring liquid overload resolution.

  - TODO: consider removing Equivalent typeclass