Documentation

Obtain the runtime Term from a TermKey.

The TermKey will be looked up in the TermCache to avoid recomputing the Term if possible. On a cache miss the Term will be reconstructed from scratch and stored in the cache.

Before returning a Term we want to expand its heap representation up to the defaultDepth

For Ids, this is done by obtainTermFromId. For other TermKeys this function should be used

A boring type is one for which we don't care about the structure and would rather see "whole" when being inspected. Strings and literals are a good example, because it's more useful to see the string value than it is to see a linked list of characters where each has to be forced individually.