dev-haskell/equivalence: new package (an agda-9999 depend)

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>