Confident Subtypes

Updated descriptions coming soon…