implemented join(a1<b<a2) finished pushing down selections, needs testing, added example