dotty

• miscasting
• crossbar
• machetes
• gyrations
• stratify
• duplicates