analyze-host-expr turns :maybe-class into :const :class nodes instead of validate