The Typed Situation Calculus 2 Introduction