Finished Equiv.v

Missing some optional exercises, but eh, greener pastures lie ahead