Visualize the Julia type system