core: Implement elementwise comparison operators

Including immediate variants of these operators.

nac3core/src/symbol_resolver.rs

@@ -233,10 +233,11 @@ impl Display for SymbolValue {
 impl TryFrom<SymbolValue> for u64 {
     type Error = ();
 
-    /// TODO
+    /// Tries to convert a [`SymbolValue`] into a [`u64`], returning [`Err`] if the value is not
+    /// numeric or if the value cannot be converted into a `u64` without overflow.
     fn try_from(value: SymbolValue) -> Result<Self, Self::Error> {
         match value {
-            SymbolValue::I32(v) => Ok(v as u64),
+            SymbolValue::I32(v) => u64::try_from(v).map_err(|_| ()),
             SymbolValue::I64(v) => u64::try_from(v).map_err(|_| ()),
             SymbolValue::U32(v) => Ok(v as u64),
             SymbolValue::U64(v) => Ok(v),
@@ -248,7 +249,8 @@ impl TryFrom<SymbolValue> for u64 {
 impl TryFrom<SymbolValue> for i128 {
     type Error = ();
 
-    /// TODO
+    /// Tries to convert a [`SymbolValue`] into a [`i128`], returning [`Err`] if the value is not
+    /// numeric.
     fn try_from(value: SymbolValue) -> Result<Self, Self::Error> {
         match value {
             SymbolValue::I32(v) => Ok(v as i128),

nac3core/src/typecheck/typedef/mod.rs

@@ -71,11 +71,6 @@ impl Type {
             None
         }
     }
-
-    #[deprecated = "Prefer using `Type::obj_id` instead to handle non-TObj cases."]
-    pub fn get_obj_id(self, unifier: &Unifier) -> DefinitionId {
-        self.obj_id(unifier).expect("expect a object type")
-    }
 }
 
 impl From<&RecordKey> for StrRef {