Coalton expression only takes one form, faux-macro implies multiple forms

[Izaakwltn]

Although the faux-macro/minibuffer definition is (coalton &rest forms), coalton only takes one form/ doesn't have implicit progn.

For instance:

COALTON-USER> (coalton (+ 1 2) (+ 3 4))

returns the error:

error: Malformed coalton expression
  --> <macroexpansion>:1:17
   |
 1 |  (COALTON (+ 1 2) (+ 3 4))
   |                   ^^^^^^^ unexpected form
   [Condition of type COALTON-IMPL/PARSER/BASE:PARSE-ERROR]

Either the faux-macro syntax should be changed to (coalton form) or coalton should be amended to handle multiple forms.