renamed NativeFiniteSetsXxx to FiniteSetsXxx, as this is now the standard implementation