clean up discrete ERPs
shut down places on manager GC, etc
make arrays and matrices serializable

This involves a couple fragile and ugly hacks:
1: unsafe extension to TR's type environment for
   serialize/deserialize-info, etc
2: serialize-info points to deserialize-info variable
   in a different module to avoid expensive dynamic-require
   due to TR indirection macro
update todo