grouped mapping of agda language-related stuff into function called on BufEnter autocommands