let add_named_prop op opl = merge_named_prop [op] opl