vim-agda-mode: change a few Unicode names; --allow-unsolved-metas is optional in CheckBuffer().