Update the Python backend type annotation to Literal["eager", "jit", "compile"] so that mismatches are caught during static type checking.#110