Support constrained types in the subsumes check #138