add examples requiring polyvariance/implication constraints
print "solved" environments