support for type propagation when column is sent
- fine grained checks for various conditions
- more bookkeeping involving removal of tables...