Foreign functions and ambient authority
In a compiled language, external/foreign functions could be declared in modules. For example:
extern sin(n: Float64);
However, these functions would still only be accessible through the universe. For example:
fn main(uni) {
uni.stdout.puts(
uni.extern.sin(4)
);
}