I dont think we need simpler types for agentic coding though. We need compiler speed. I guess those are probably related to some degree though.