oh my, full type safety done
sync dot.elf -- full type safety DONE. cc @TiarkRompf