Impl circle equality, new tests, fixes