added a call to idris-load-file-sync into idris-type-at-point