inheritances

• crept
• presetting
• kings
• oddballs
• Foosball
• OE
• uninterpreted