Function is_logical_type 

pub fn is_logical_type(name: &str) -> bool

StandardLibrary types that encode logic/proof/reflection rather than user data (Syntax ASTs, Eq/And/Ex propositions, Derivation proofs, …). Values of these are not the “compile my data to Rust” use case and don’t extract cleanly, so definitions over them are left as a note instead of emitting broken Rust.