switch to Z3 SimpleSolver for solving type constraints
switch to Z3 SimpleSolver for solving type constraints

chubbymaggie/alive,nunoplopes/alive,chubbymaggie/alive,chubbymaggie/alive,rutgers-apl/alive-loops,rutgers-apl/alive-loops,chubbymaggie/alive,rutgers-apl/alive-loops,nunoplopes/alive,nunoplopes/alive,nunoplopes/alive,davemenendez/alive,rutgers-apl/alive-loops,davemenendez/alive