feat(frontends/lean): add 'prelude' command, and init directory
refactor(library): add 'init' folder
fix(tests/lean): adjust tests to modifications to standard library
chore(library/logic/logic.md): adjust documentation