That is a really cool idea! But i cannot stop thinking on clang when reading your post. It does pretty much what expect a simplifier to do, plus being a compiler. http://clang.llvm.org/ I would suggest learning a bit from clang when making this. And I would definitely join the project if it was started. Anders Johnsen