What if you simply worked on the AST/token level and converted that into pseudocode, assuming you either annotated your functions with a description or named th

What if you simply worked on the AST/token level and converted that into pseudocode, assuming you either annotated your functions with a description or named them following some sort of convention? Then you could write your code and then "compile" your source files to pseudocode. Seems like this could be useful for writing specification documents or anything safety critical..