let add l = (levels := Levels.add l !levels)