Types and Object Declarations