Extract the signature of the element, then intersect it with the given tuple type.
Return
The intersection of the element's signature and the bound.
Parameters
The element providing a signature.
A function that extracts a list of A_Types from the Element, which should correspond with the extra values extracted from the value being looked up.
The tuple type with which to intersect the result.