Added interval_symbols to wt_int.hpp