semantic: Add documentation to mutableIndirection.