Constraints should also check `hasSlicing!R`.

Also, nothing guarantees that a RA (even with length) defines `opDollar` (unfortunately). So those `$` should be replaced with `r.length`.