Update conditions and intensionality in a type-theoretic approach to dialogue semantics