Classes of lively/JSON.js