ability to disable the kernel cache
Provide an API to disable the kernel cache
kernel cache is enabled by default
wip
different depiction of preparation failures during reification
distinction between local and (parent) resolved address of a mapping