Function type_check 

pub fn type_check(
    module: &Module,
    interfaces: &HashMap<Name, Interface>,
) -> Result<HashMap<Name, Solved>, Vec<Error>>

type_check_recovering, reduced to a module that either type checked or did not: the solved map when no declaration failed, every error otherwise.