Correct the associativity of (::) and ensure that JS is generated properly for (::).
Add some type annotations to Automaton.elm
Allow type annotations for infix operators.