"My dog has no type." "How does he smell?" "Awful!" This article originally was called "Expressions with no types" but that was a misleading title. This article is really about expressions which have a "quantum superposition" of several types: that's
