Use of `Into`/`From`/`As`/`Is` prefixes of classes is inconsistent
See the discussion here: https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/159#note_28898
See the discussion here: https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/159#note_28898