let typetree.jl print types out