Function check_unknown_calls 

pub fn check_unknown_calls(
    stmts: &[Stmt<'_>],
    interner: &Interner,
    registry: &TypeRegistry,
) -> Result<(), TypeError>

Reject the first call (in source order) to a name that exists nowhere in the post-prelude program. See the module docs for the KNOWN-name rule.