ogma-core: Update Copilot struct code generator to use new function names. Refs #231.

[ivanperez-keera]

This commit updates the Copilot struct code generator to use the new function name typeName as typename has been removed, as prescribed in the solution proposed for #231.

[ivanperez-keera]

Change Manager: Verified that:

• Solution is implemented:
  • The code proposed compiles and passes all tests. Details:
    • Build logs:
      • https://github.com/ivanperez-keera/ogma/actions/runs/13118275286/job/36597846699
      • https://github.com/ivanperez-keera/ogma/actions/runs/13118275293/job/36597846695
    • Build log archives:
      • logs_33871878959.zip
      • logs_33871878978.zip
  • The solution proposed produces the expected result. Details:
    The following dockerfile installs Copilot 4.2 and Ogma, and uses the structs command to generate a Copilot struct definition, and uses Copilot to check that the code generated compiles, after which it prints the message "Success":

    FROM ubuntu:focal
    
    ENV DEBIAN_FRONTEND=noninteractive
    RUN apt-get update
    
    RUN apt-get install --yes \
          curl g++ gcc git libgmp3-dev libz-dev make pkg-config
    
    RUN mkdir -p $HOME/.local/bin
    ENV PATH=$PATH:/root/.local/bin/
    
    RUN curl https://downloads.haskell.org/~ghcup/0.1.17.7/x86_64-linux-ghcup-0.1.17.7 -o $HOME/.local/bin/ghcup
    RUN chmod a+x $HOME/.local/bin/ghcup
    
    ENV PATH=$PATH:/root/.ghcup/bin/
    RUN ghcup install ghc 9.10
    RUN ghcup install cabal 3.12
    RUN ghcup set ghc 9.10.1
    RUN cabal update
    
    SHELL ["/bin/bash", "-c"]
    CMD git clone $REPO \
        && cd $NAME \
        && git checkout $COMMIT \
        && cabal install --lib copilot copilot-c99 copilot-language \
             copilot-theorem copilot-libraries copilot-interpreter \
        && cabal install ogma-cli:ogma \
        && echo '{-# LANGUAGE DataKinds #-}' >> Point.hs \
        && echo 'module Point where'         >> Point.hs \
        && echo 'import Language.Copilot'    >> Point.hs \
        && ogma structs --header-file-name ogma-cli/examples/point.h >> Point.hs \
        && ghc -c Point.hs \
        && echo "Success"

    Command (substitute variables based on new path after merge):

    $ docker run -e "REPO=https://github.com/ivanperez-keera/ogma" -e "NAME=ogma" -e "COMMIT=518b05133d0e38185d9f890eeaf37e84de0971f7" -it ogma-verify-231
    

• Implementation is documented. Details:
  No updates needed; the change is to an internal function.
• Change history is clear.
• Commit messages are clear.
• Changelogs are updated.
• Examples are updated. Details:
  No updates needed; the change is to an internal function.
• Author is internal or has provided signed CLA.
• Required version bumps are evaluated. Details:
  Bump needed; Ogma now generates code valid only for a modern version of Copilot (>= 3.19).