An elephant's toenail is part of the elephant, but is not "the elephant." Types are implementation details to a computer scientist, just as unit conversions are

An elephant's toenail is part of the elephant, but is not "the elephant." Types are implementation details to a computer scientist, just as unit conversions are implementation details to a chemist. Likewise, code is an artifact of engineering, not the engineering itself.