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!