fix error reporting: on empty line insert a whitespace to have something for the overlay
display condition from idris when synchronous evaluation fails
only do evaluation if there's something at point; also do loading of file only if there's something at point