Modified empty interval to be interval of NaN's of the correct type
Show displays empty intervals using the empty set symbol. Added empty_interval(a) for a an interval.
Miscellaneous changes