Function check_script 

pub fn check_script(
    ta: &TypedAst,
    dependencies: &[&PackageDeclaration],
) -> Result<Vec<Diagnostic>, CompileError>

Checks a script. dependencies are the packages it was inferred against, which declare the types it imports.