Arrow notation: add a new (more primitive) form of command:

	cmd ::= ... | cmd aexp

analogous to ordinary application, and also represented using HsApp.
To avoid an overlap, the syntax for combining forms is changed to

	(|aexp cmd1 ... cmdn|)