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