The Implementation type really benefits from a specific viewer.

Optionally, also a creator and editor.

For now we only support built-in implementations.

A built-in implementation needs to be able to connect somehow to the built-in the eval engine.

Here's a draft:

Z14K1/implements: points to the Z8/Function it implements

Z14K2/builtin - an identifier to the internal builtin that implements the Function