improve completion and help on hrepl