More types for runtime.ts.