pub fn core_bool_ty(db: &dyn SemanticGroup) -> TypeId