geb-morphism frontend

[mariari]

I am sick of writing terms by hand.

(def silly-example
  (comp (mcase nil->list
               (comp cons->list (cons-on-cons geb-bool:true)))
        cons->list *cons*))

is a pain to write, as I have to remember reverse order due to comp, and to evaluate this I have to call gapply on this value. We further can't AOT anything as we are just defining a term bare.

What we need is a DSL

I suggest this

(define-morphism silly-example ()
  *cons*
  cons->list
  (mcase nil->list
         (comp cons->list (cons-on-cons geb-bool:true))))

which reads the arguments as in forth, meaning it's in arrow order which is a more natural way to realistically work

The above expression should expand into something like

(def silly-example
  (optimze
    (comp (mcase nil->list
                 (comp cons->list (cons-on-cons geb-bool:true)))
          cons->list *cons*)))

(defun silly-example (value)
  (gapply silly-example value))

Further, I want more standard library increases, but this should be the first of many such changes