job: add JSON encoder for Stmts