implement bounds checking
implement nodes returning from sequence.

