Initial (hackish) vim support for agda
Experimentally, have Agda inherit Haskell's highlighting..
XCompose, prime