diff --git a/.basedpyright/baseline.json b/.basedpyright/baseline.json
index 7d4ac86..cce482d 100644
--- a/.basedpyright/baseline.json
+++ b/.basedpyright/baseline.json
@@ -171,14 +171,6 @@
                     "lineCount": 1
                 }
             },
-            {
-                "code": "reportAny",
-                "range": {
-                    "startColumn": 4,
-                    "endColumn": 10,
-                    "lineCount": 1
-                }
-            },
             {
                 "code": "reportMissingImports",
                 "range": {
@@ -1541,6 +1533,30 @@
                     "lineCount": 1
                 }
             },
+            {
+                "code": "reportUnknownVariableType",
+                "range": {
+                    "startColumn": 4,
+                    "endColumn": 12,
+                    "lineCount": 1
+                }
+            },
+            {
+                "code": "reportUnknownMemberType",
+                "range": {
+                    "startColumn": 15,
+                    "endColumn": 32,
+                    "lineCount": 1
+                }
+            },
+            {
+                "code": "reportUnknownMemberType",
+                "range": {
+                    "startColumn": 50,
+                    "endColumn": 66,
+                    "lineCount": 1
+                }
+            },
             {
                 "code": "reportAny",
                 "range": {
@@ -1598,7 +1614,7 @@
                 }
             },
             {
-                "code": "reportAny",
+                "code": "reportUnknownVariableType",
                 "range": {
                     "startColumn": 16,
                     "endColumn": 21,
@@ -1606,13 +1622,29 @@
                 }
             },
             {
-                "code": "reportAny",
+                "code": "reportUnknownArgumentType",
+                "range": {
+                    "startColumn": 33,
+                    "endColumn": 36,
+                    "lineCount": 1
+                }
+            },
+            {
+                "code": "reportUnknownVariableType",
                 "range": {
                     "startColumn": 16,
                     "endColumn": 21,
                     "lineCount": 1
                 }
             },
+            {
+                "code": "reportUnknownArgumentType",
+                "range": {
+                    "startColumn": 33,
+                    "endColumn": 36,
+                    "lineCount": 1
+                }
+            },
             {
                 "code": "reportAny",
                 "range": {
@@ -6730,6 +6762,22 @@
                     "endColumn": 46,
                     "lineCount": 1
                 }
+            },
+            {
+                "code": "reportArgumentType",
+                "range": {
+                    "startColumn": 31,
+                    "endColumn": 43,
+                    "lineCount": 1
+                }
+            },
+            {
+                "code": "reportArgumentType",
+                "range": {
+                    "startColumn": 31,
+                    "endColumn": 43,
+                    "lineCount": 1
+                }
             }
         ],
         "./pymbolic/mapper/cse_tagger.py": [
@@ -6902,10 +6950,10 @@
                 }
             },
             {
-                "code": "reportAny",
+                "code": "reportArgumentType",
                 "range": {
-                    "startColumn": 15,
-                    "endColumn": 66,
+                    "startColumn": 22,
+                    "endColumn": 25,
                     "lineCount": 1
                 }
             },
@@ -6974,10 +7022,18 @@
                 }
             },
             {
-                "code": "reportAny",
+                "code": "reportUnknownVariableType",
                 "range": {
-                    "startColumn": 15,
-                    "endColumn": 69,
+                    "startColumn": 29,
+                    "endColumn": 35,
+                    "lineCount": 1
+                }
+            },
+            {
+                "code": "reportUnknownArgumentType",
+                "range": {
+                    "startColumn": 22,
+                    "endColumn": 28,
                     "lineCount": 1
                 }
             },
@@ -7030,26 +7086,50 @@
                 }
             },
             {
-                "code": "reportAny",
+                "code": "reportUnknownMemberType",
                 "range": {
-                    "startColumn": 15,
-                    "endColumn": 69,
+                    "startColumn": 22,
+                    "endColumn": 28,
                     "lineCount": 1
                 }
             },
             {
-                "code": "reportAny",
+                "code": "reportUnknownArgumentType",
                 "range": {
-                    "startColumn": 15,
-                    "endColumn": 69,
+                    "startColumn": 22,
+                    "endColumn": 28,
                     "lineCount": 1
                 }
             },
             {
-                "code": "reportAny",
+                "code": "reportUnknownMemberType",
                 "range": {
-                    "startColumn": 15,
-                    "endColumn": 70,
+                    "startColumn": 22,
+                    "endColumn": 28,
+                    "lineCount": 1
+                }
+            },
+            {
+                "code": "reportUnknownArgumentType",
+                "range": {
+                    "startColumn": 22,
+                    "endColumn": 28,
+                    "lineCount": 1
+                }
+            },
+            {
+                "code": "reportUnknownMemberType",
+                "range": {
+                    "startColumn": 22,
+                    "endColumn": 29,
+                    "lineCount": 1
+                }
+            },
+            {
+                "code": "reportUnknownArgumentType",
+                "range": {
+                    "startColumn": 22,
+                    "endColumn": 29,
                     "lineCount": 1
                 }
             },
@@ -8081,6 +8161,30 @@
                     "lineCount": 1
                 }
             },
+            {
+                "code": "reportAny",
+                "range": {
+                    "startColumn": 12,
+                    "endColumn": 16,
+                    "lineCount": 1
+                }
+            },
+            {
+                "code": "reportAny",
+                "range": {
+                    "startColumn": 76,
+                    "endColumn": 80,
+                    "lineCount": 1
+                }
+            },
+            {
+                "code": "reportAny",
+                "range": {
+                    "startColumn": 38,
+                    "endColumn": 42,
+                    "lineCount": 1
+                }
+            },
             {
                 "code": "reportUnknownMemberType",
                 "range": {
@@ -8089,6 +8193,14 @@
                     "lineCount": 1
                 }
             },
+            {
+                "code": "reportAny",
+                "range": {
+                    "startColumn": 35,
+                    "endColumn": 39,
+                    "lineCount": 1
+                }
+            },
             {
                 "code": "reportAny",
                 "range": {
@@ -8617,6 +8729,14 @@
                     "lineCount": 1
                 }
             },
+            {
+                "code": "reportUnknownArgumentType",
+                "range": {
+                    "startColumn": 25,
+                    "endColumn": 33,
+                    "lineCount": 1
+                }
+            },
             {
                 "code": "reportUnknownArgumentType",
                 "range": {
@@ -11872,7 +11992,15 @@
                 }
             },
             {
-                "code": "reportAny",
+                "code": "reportUnknownVariableType",
+                "range": {
+                    "startColumn": 36,
+                    "endColumn": 41,
+                    "lineCount": 1
+                }
+            },
+            {
+                "code": "reportUnknownMemberType",
                 "range": {
                     "startColumn": 15,
                     "endColumn": 43,
@@ -13023,14 +13151,6 @@
                     "lineCount": 1
                 }
             },
-            {
-                "code": "reportAny",
-                "range": {
-                    "startColumn": 4,
-                    "endColumn": 14,
-                    "lineCount": 1
-                }
-            },
             {
                 "code": "reportUnknownParameterType",
                 "range": {
diff --git a/.gitignore b/.gitignore
index cbc3f15..17dcb56 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,3 +13,4 @@ setuptools.pth
 _build
 
 .cache
+.venv
diff --git a/pyproject.toml b/pyproject.toml
index 9d2efb0..4ab2611 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -130,6 +130,10 @@ reportUnusedCallResult = "none"
 reportExplicitAny = "none"
 reportUnusedParameter = "hint"
 
+ignore = [
+    ".venv",
+]
+
 # This reports even cycles that are qualified by 'if TYPE_CHECKING'. Not what
 # we care about at this moment.
 # https://github.com/microsoft/pyright/issues/746