on the surface this makes a lot of sense. would be curious to see examples of AI using this to more reliably solve coding tasks, compared to the same tasks in other langs. very interesting stuff.