retyping

• eighty
• uninterpreted
• interfaces
• lamely
• GPA