feat(sol-thir-lowering): implement infer_lam

feat(sol-thir-lowering): fix errors

feat(sol-thir-lowering): improve code

feat(sol-thir-lowering): elaborate on pi

feat(sol-thir-lowering): add unsupported term error

feat(sol-thir): elaborate path

feat(sol-thir-lowering): refactor unify and insert

feat(sol-thir-lowering): implement unify catch

refactor(sol-thir): fix warnings

feat(sol-thir): implement unification

feat(sol-thir): implement unification

feat(sol-diagnostic): fix errors display

feat(sol-driver): add fancy errors

refactor(sol-hir): rename no to not_found

feat(sol-hir): implement into source span

feat(sol-diagnostic): add bail and other eyre functions

feat(sol-driver): add golden tests outputs

fix(sol-driver): fix sol driver errors

chore: indent_size as 4

fix(sol-hir-lowering): fix lib file

fix(sol-hir-lowering): fix pattern file

fix(sol-hir-lowering): fix term file

fix(sol-hir-lowering): fix statement file

refactor(sol-hir): break source into multiple files

feat(sol-driver): use into_eyre_diagnostic

fix(sol-driver): reformulate error system entirely

feat(sol-cli): use miette instead of ariadne

feat(sol-diagnostic): use miette

feat(sol-typer): use old typer to implement simple functions to creat…

feat(sol-thir-lowering): infer hole