Renamed space -> spc and level -> lev in type signatures, for concision (fitting below 120-char width).