less-than and greater-than inequalities are now properly normalized.
Exception and Result labels are no longer removed as ObserverFunctions.