[Graeme] Ch 21, completed rules for implicit conversions