Types as Abstract Interpretations