Added tests and code for inner constraints for seq, set, and map.