Type Alias MkSort 

pub type MkSort = fn(&mut TypeInfo, String, &[Expr], Span) -> Result<ArcSort, TypeError>;