Types and the Infoset