Equal: add spec

Addresses #12.