A simple major mode for Wollok https://wollok.org