remove old printing code, and some improvements to jl_static_show