Intent of a_is_null, a_is_not_null

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