Cleanup: move EqualityOptions into its own file.