WIP I
do a proxy cleanup before adjusting bindings

proxy nodes make everything more complex, so clean them up prior to adding bindings
- also add more features to TypePrinter2
- more logging, likely to be taken out
rm puts in test
fix interface problem. It was a problem w/ a closure w/o a binding having its class def inserted incorrectly
only drop stacktraces when fine logging enabled
rm finest logging call in test
clean up better closures a bit
rm unused assert method