refactor: remove unnecessary SymTyLike type in general Analyzer def.

Author: jhnaldo

src/main/scala/esmeta/analyzer/Analyzer.scala

@@ -39,9 +39,6 @@ abstract class Analyzer
   /** check reachability of return points */
   def reachable(rp: ReturnPoint): Boolean
 
-  /** symbolic types */
-  type SymTy <: SymTyLike
-
   /** abstract states */
   type AbsState <: AbsStateLike
 

src/main/scala/esmeta/analyzer/DomainLike.scala

@@ -27,17 +27,6 @@ trait DomainLikeDecl { self: Analyzer =>
     override def toString: String = stringify(this)(using domain.rule)
   }
 
-  /** Symbolic types */
-  trait SymTyLike extends DomainElemLike[SymTy] { self: SymTy =>
-
-    /** abstract domain */
-    def domain = SymTy
-
-    /** get string of symbolic type */
-    def getString: String
-  }
-  val SymTy: DomainLike[SymTy]
-
   /** abstract values */
   trait AbsValueLike extends DomainElemLike[AbsValue] { self: AbsValue =>
 

src/main/scala/esmeta/analyzer/tychecker/SymTy.scala

@@ -12,7 +12,7 @@ import esmeta.util.BaseUtils.*
 trait SymTyDecl { self: TyChecker =>
   import tyStringifier.given
 
-  enum SymTy extends SymTyLike {
+  enum SymTy {
     case STy(ty: ValueTy)
     case SRef(ref: SymRef)
     case SNormal(symty: SymTy)