Add enforce_prompt_numbering to Maxima interop