cleaned things up. Started working on procedure translation. Ran into a interesting bug with VariableExps