feat: typecheck files without toplevel when files are given as arguments

Everything has been done except type checking the content of the files. All the necessary function are written already. A quick and easy ticket!

added Good first issue label

assigned to @eman

created branch 56-add-a-proost-fonctionality-typecheck-files-without-toplevel-when-files-are-given-as-arguments to address this issue

changed title from Add a proost fonctionality: typecheck files without toplevel when files are given as arguments to feat: typecheck files without toplevel when files are given as arguments

created branch 56-feat-typecheck-files-without-toplevel-when-files-are-given-as-arguments to address this issue

mentioned in merge request !64 (closed)

mentioned in merge request !65 (merged)

added Doing label

added feature label

mentioned in commit aef59b53

closed with merge request !65 (merged)