basic start. treats Proc as an expression. trying to form environments (not
there yet -- need better data structure) -- added some debug print statements