fix missing includes in bounded_int_calculus.hpp
Continued throwing together the bidirectional interval map
Used interval tree for triggers (compiles, segfault)
Fixed loads of runtime errors