Function spell 

pub fn spell(types: &Types, names: &Interner, id: TypeId) -> String

The type as a type name, which is how it would be written in a cast or in a sizeof.