Function describe 

pub fn describe(ty: Ty) -> String

FORMAT 3.1’s name column, read out: the same types notation spells, in a sentence.