predicate_alist_match: typecheck for RegExp keys