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.

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.