Make BuildEquiv a coercion

This way, things of type IsEquiv can turn into things of type Equiv.