Binders and more to the Z3 SMT solver for Scala