Reorganise, less hierarchy in package, coercions

Makefile

README.md

lambdapi.mk

personoj/Makefile

personoj/builtins.lp

personoj/coercions.lp

personoj/deptype.lp

personoj/equality.lp

personoj/equality_tup.lp

personoj/examples/proof_irr.lp

personoj/examples/rat.lp

personoj/examples/stack.lp

personoj/extra/bool_plus.lp

personoj/extra/prenex/README.md

personoj/extra/prenex/kind.lp

personoj/extra/prenex/prop.lp

personoj/extra/prenex/set.lp

personoj/extra/pvs_cert_minus.lp

personoj/extra/pvs_core.lp

personoj/if.lp