Higher order pattern unifier and concurrent-supply for names.