interval analysis updates

Todo: testing existing analysis, boolean expressions, multiplication of
intervals