Examples from Z3 scripts

There are many examples in [Hillel Wayne's post](https://www.hillelwayne.com/post/z3-examples/) that could be used as simple examples for Aeon synthesis, both GP and SMT-backed.