Canoncialize < to |<| for positive values Canoncialize IndexedLocation even for long constant index if the final displacement fits in an int remove PlaceHolderNodes when they don't hold a state