fixed reification doe to properly deal with nested variables.  optionals are now also properly reified.