Add 'effectiveUses' method to Slice. No-op.

(Also scrub the "implies" field which does not yet exist.)