A few words on types.