Got first InnerConstraint example to work.
Do InnerConstraint for Sets.
Do InnerConstraint for Map values (but not yet keys).
Do InnerConstraint for Map keys.