rima.lua: add rima_with_prio