gistfile1.md

Proposal to remove the top level function command and replace it with frel and constructor (pending bikeshedding on new names):

frel

Any function that returns a primitive sort, you must now make with frel.

For example:

(function fib (i64) i64)

Becomes:

(frel fib (i64) i64)

constructor

Any expression that returns an eqsort, you must now make with constructor.

For example:

(function Fib (i64) Expr :cost 10)

becomes:

(constructor Fib (i64) Expr :cost 10)