Fix transpilation for `.proj`

[arthurpaulino]

Also bump Lurk.lean with a new version that can output frames in cases of evaluation errors