This is a major mode for the Acton programming language