Function sort 

pub fn sort(n: u32) -> Expr

Build a Sort(Level::succ^n(Level::zero())) (Type n-1).