Assert that a field with the given characteristics exists in the given TypeLink.
the FieldLink if it exists
the TypeLink to search in
the Matcher to match the FieldLink against