Add idirs smart question mark
cbidris:at-equation? returns nil if at let binding.
Fix eob handling when reformatting data decls
Colon correctly aligns in data decl
Improve cbidris:at-equation? to ignore points after the first equals
Make idris-mode derive from prog-mode
Fix replacement regexp when inserting reformatted arglists
Clean up columnation fns
Idris smart op reformats previous context
Handle data decls in using blocks
Improve cbidris:data-end-pos to handle eob correctly
Add idris-mode to whitespace sensitive langs
Data decl detection accepts case pipe at bol
More adjustments to eob handling for data-end-pos
Improve data decl indentation