rule_steps. Finished implementing

User specifies labeled shapes A, B, C.
System calculates A – B, B – A, C′ (if A ≤ C)