add --print-typed-core option to cmdline, pretty print datatype