add implicit semigroup for SpaceSaver and use it in unit test