fixed bug: wrong interator implementation
introduced symbolic interval set
enable more passing tests
fixed wrong default intersection