We should not always forego validation in the case when resolveInternals is false.
In particular, we should always validate the type of a dereferenced object (i.e., a Z9/Reference that is being resolved) in the mutate/resolveFunctionCallsAndReferences functions.