pub fn lower_modules(
    modules: &[Vec<Module>]
) -> Result<ProgramBody, LoweringError>