Functions

Type-check the user modules in files and the dependencies in interface_files