Level not LevelSet
Updated Level dependencies
Removed old many/some definitions