Intent of Map_type, Field_type, +1

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