#13: add JSON CTOR's