I don't think LLMs benefit from having code properly typed (at the call definition). It's costly to have to check a possibly remote file to check. The LLM should be able to intuit what the types are at the callsite and elixir has ~strong conventions that LLMs probably take advantage of

llms benefit greatly from feedback and typing/type errors are one of the fastest and easiest methods of feedback to give to an llm.