LabeledShape.is_a_sub_labeled_shape_of(other). Reinstated
Log. Made notes on subtraction problem