Intent of WrongType, WrongType, +2

All 5 exact tests in this concept. Every test is marked by where it enters the hierarchy.