i'd like to drop the indexing by constraint, and just do a lookup for each inner type (rather than expecting an index by constraint)... the index by constraint is weird, because it seems to act like its own unique type, which ideally it should not