Extract a source state from existential lists

Add a function which can, given a list of existential wrappers around
initialised entity and source state values, extract the one for a
specific pair of entity and source types, if such exists.

This is pretty magical.