free-id set: generalize tests over type of free-id
free-id set: generalize tests over mutable/immutable