Integrated Vim-IdrisConceal

As mentioned in https://github.com/japesinator/vim-IdrisConceal/issues/3 and #22, this integrates and documents concealing functionality