Tweaks to data-end-pos
Make function-name-at-point more permissive
Improve support for indented functions
Add 'record' to idris font-lock keywords
Support records for M-ret
Improvements to newline formatting for M-ret
Improve indentation of multi-line types