cleaning up reification work.

- still need to handle polymorphic functions
- still need to handle input environments.
- still need to handle reifying the function environment.
more complete reification including function table.
refactoring the reification to simplify things.