Intent of equal_expression, equal_expression, +4

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