Fixed bug affecting things using AtomsFormula like hulls caused by incorrect less than operator.