Fix the subtyping rule for width subtying so it isn't ambiguous with the standard subtyping rule
Fix the subtyping rule for width subtying so it isn't ambiguous with the standard subtyping rule

beni55/openshake,beni55/openshake,batterseapower/openshake