Changed constraints to have an upper bound

This also makes usage of the semantic operator to allow using Mink 1.6 once released (or earlier if you allow dev versions)