more in moniemtl_json_for_type