Add round-trip-identity theorems to file class enum de/serializers#3

tenedor wants to merge 1 commit intodraperlaboratory:maindraperlaboratory/ELFSage:mainfrom

atlas-computing-org:round-trip-enum-theoremsatlas-computing-org/ELFSage:round-trip-enum-theoremsCopy head branch name to clipboard