basic CFG builder (first step towards ghost metaprogramming)
minor improvements to delabelizer

 - allow special characters in labels
 - print comments with label names
"evaluating" python to ghc