Synxtaxfehler in CbAbstractBlueprint-Direct

Konfiguration:

Instance
    { syntax = Abstract
    , blueprint = let { f = _ ; and = \ x y -> if x then y else false } in and (f 0 == 1) (and (f 1 == 1) (and (f 3 == 6) (f 5 == 120))) 
    , constructors = [ "Eq"
                     , "Times", "Minus"
                     , "Const"
                     , "Hole"
   , "Abs", "App", "Put", "Get", "New", "Let", "Ref", "If", "Eq"
                     ]
    , max_steps = 500 
    }

Bei jeder Einsendung:

parse error
+------------------------------
|                        (Ref "y")
|                        (ConstBool False))))
|          (App (App (Ref "and")
|           ^^^^^^^^^^^^^^^^^^^^^
|                    (Eq (App (Ref "f") (Const 0))
|                        (Const 1)))
+------------------------------

liegt evtl. an "syntax = Abstract"?

Zur besseren Unterscheidung sollte man hier zwei Typen einführen.