yeah, anything that does typechecks to see if things match would have to check list entries, or we’d need wrapper classes that hold the synthetic type along with the associated collection