“expressive type”