move equiv_bool_equiv_bool_bool to types/Bool
fix reference to equiv_bool_equiv_bool_bool in HoTTBookExercises
comments and formatting in Bool.v
Merge pull request #560 from mikeshulman/equivbool

move equiv_bool_equiv_bool_bool to types/Bool