introduce scoping with with keyword
introduce true/false, fix some solver object references
introduce reflected/swapped operands
initial python ast to stp transformation work
first ast to stp test
use with-as instead of plain with