Add sequential interpreter ontology argument

[Vaguery]

It will be easiest to set up an interpreter's ontology (bindings, instructions, types etc that it recognizes) using something like this (extended from the templates):

• start with a template interpreter (empty or onewitheverything as defaults)
• add-type
• add-module
• add-instruction (by name)
• add-binding
• populate-stack
• populate-binding
• set-counter
• set-limit
• etc

The initialization then proceeds by threading through these in order given, something like the way the templates are currently done, but in a more programatic way, and leaving net results to convention.

[Vaguery]

Affected by #175