Types: A Closer Look