pub fn module_scope(name: &str, _env: &TypeEnv) -> Option<Ty>
Build the value-level scope of a module: a record of named functions.