rename package name from extended-real to extended-reals
fix defaulting problems in TestInterval.hs