separate hand-exported and auto-exported TA samples
add my own sample: square-infinite
two more samples that test the 'move' and 'right' primitives, respectively
two samples to test the 'while' and 'until' loops