error: `TODO: symbolic abi encoding for bytes` -- needs `AbiBytesDynamicType` Abi encoding in `symAbiArg`

```
hevm symbolic --rpc *** --address 0x4593bc01601670d8f7141561bc25a28a931b0e2d --show-reachable-tree --sig "swap(uint256,uint256,address,bytes calldata)"

hevm: Internal Error: TODO: symbolic abi encoding for bytes -- CallStack (from HasCallStack):
internalError, called at src/EVM/SymExec.hs:128:8 in hevm-0.53.0-d07512fec8d8a047a5494fc935ecbd7c50c0fcb527162bfecdae8ac151a019a8:EVM.SymExec
CallStack (from HasCallStack):
error, called at src/EVM/Types.hs:1347:19 in hevm-0.53.0-d07512fec8d8a047a5494fc935ecbd7c50c0fcb527162bfecdae8ac151a019a8:EVM.Types
internalError, called at src/EVM/SymExec.hs:128:8 in hevm-0.53.0-d07512fec8d8a047a5494fc935ecbd7c50c0fcb527162bfecdae8ac151a019a8:EVM.SymExec
```

Run the hevm symbolic reproduction from the issue, then read symAbiArg in src/EVM/SymExec.hs and the AbiBytesDynamicType definition or error path in src/EVM/Types.hs. Trace how other ABI argument types are encoded; done means the bytes calldata case no longer raises the reported internal TODO error.

Written by the indexing model from the issue text.