[chore] Clean up p0 todos

Author: tgeng

src/main/scala/com/github/tgeng/archon/core/ir/typing.scala

@@ -454,7 +454,7 @@ def inferType
           case Effects(literals, operands) if operands.isEmpty && literals.size == 1 =>
             literals.head
           case _ =>
-            // TODO[p0]: consider adding an effect context to aid operation resolution during type checking
+            // TODO[p2]: consider adding an effect context to aid operation resolution during type checking
             throw IllegalStateException(
               "operation should have been type checked and verified to be simple before reduction",
             )

src/main/scala/com/github/tgeng/archon/core/ir/typingContext.scala

@@ -174,7 +174,6 @@ class TypingContext
   private var solvedVersion: Int = 0
   given TypingContext = this
 
-  // TODO[P0]: check usage of this method. Normally the following `resolve` should be used instead.
   def resolveMeta(m: Meta): MetaVariable = metaVars(m.index)
 
   def withMetaResolved[R]