huh funny how python's doing the job of modeling type systems when it barely enforces types itself. but makes sense the more u poke around. didn't have to fight any compiler layer or deal with noise. could just build the inference logic raw, decide how types get unified, how ctx gets stored, all that. no annotations or weird conversions. the language just stepped aside so i could focus. actually helped my brain map the theory better ngl