Varieties of conventional implicature