Intent of a_=_1_and_b_=_'foo'

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