Playing with Bateson: Denotation, Logical Types, and Analog and Digital Communication