fix test names
print query to typecheck/constraints.query
fix printing of tuples