A record type theoretic approach to information state update in dialogue -- is this pragmatics?