Tweak idris mode smart op bindings
Tweak colon insertion rx
Fixes to idris data end searches