pub const RECURSIVE_TYPE: &str = "cove::type::recursive_type";
A use asks a binding to hold a type that contains itself, which this language writes by declaring a type rather than by inferring one.