Describe inferior-idris-mode