introduces json_kw type; fixes integer()