Abstract interval tree (coinductive)