Document translate argument of Invalid.asdict