Merge branch 'restructure'

.github/workflows/check_encoding.yml

.github/workflows/pvs_prelude.yml

Makefile

docs/main.adoc

encoding/Makefile

encoding/tests/coercions.lp

load.lisp

mk/lambdapi.mk

proofs/examples/.gitignore

proofs/examples/Makefile

proofs/examples/hello.prf

proofs/examples/hello.pvs

proofs/src/proof-json.lisp

proofs/src/tptp.lisp

pvs-load.lisp

sandbox/numbers.lp

specs/src/dk-recursive.lisp

specs/src/dk-sig.lisp

specs/src/dklog.lisp

specs/src/packages.lisp