Type definitions and naming changes for impromptu.exec.