more warning fixes
tweaked agda syntax highlighting