Commit the typechecker as an actual lambda #275
Description
As of now, we're committing the typechecker as a datum and calling eval on it in Lurk.
We'll probably have a faster typechecker in Lurk if we commit the direct lambda expression.
{{ message }}