chore(kernel): fix style and lua bindings
feat(frontends/lean): definitions are opaque by default
checkpoint