Improve type printing (toString/debugging)