Enable warnings, remove erroneous type annotation, unify intervals and interval sets