[typon]

This looks really cool. Love to see z3 being used for tools.

[pschanely]

Yes. Z3 is impressive. I intend to do a write-up of how I chose to model Python values in it soon.