Attached Types and Their Application to Three Open Problems of Object-Oriented Programming