making some progress on translation of vanilla Expresion into annotated expression