SetLevels
setLevels
data Level
tOP_LEVEL
type LevelledBind
type LevelledExpr
incMinorLvl
ltMajLvl
ltLvl
isTopLvl