Wanted: A brand-new type of learner’s dictionary