Resolve "feat: typecheck files without toplevel when files are given as arguments" ✨️

Closes #82 et #56 🐔️👍️
Approved-by: aalbert <augustin.albert@bleu-azure.fr>
Approved-by: loutr <loutr@crans.org>
Approved-by: v-lafeychine <vincent.lafeychine@proton.me>

🦀️🍰🦀️🍰🦀️🍰

* correct super::**

* fix(proost): clippy in tests

* feat(proost): add tests for pretty_print_loc

* feat(proost): cleanup + correct location display

* update: rewritten using evaluator::process(Command::Import)

* feat(proost): remove typecheck file function and use a different arena for each file

* feat:typecheck files without toplevel

* feat(proost): remove typecheck file function and use a different arena for each file