Data definitions for core Pyret close to JavaScript with continuation forms