Traits are now printed in Type.
std::map now has a keys function.
Added json printing utilities.
Added a json printing utility.