bugfix: Nat1 is now considered an interval