Types and Analysis