Nice to see something like this finally being made. I always wondered why I couldn't just annotate the value of variables and then have the IDE evaluate the code as I write it to show how those variables are mutated. Always seemed like low-hanging fruit. It would also have the benefit of being a learning tool to help develop a mental model of how coding works.