idris data-start-position moves to indentation
Indent unfinished type judgements correctly
Collapse whitespace after type judgement colons
Rename variable