feat(library): minor cleanup, replace 'refl _' with 'rfl', define equivalence relation for sets

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library): minor cleanup, replace 'refl _' with 'rfl', define equivalence relation for sets