v0.3.0

This version introduces an experimental feature for generating visualisations for simplicial terms in SVG.
To enable rendering, enable option "render" = "svg" (to disable, "render" = "none"):

#set-option "render" = "svg"  -- enable rendering in SVG

See documentation at https://fizruk.github.io/rzk/v0.3.0/site/rzk-1/render/ for more details.

Minor changes:

• Exit with non-zero code upon a type error (see b135c4f)
• Fix external links and some typos in the documentation

Fixes:

• Fixed an issue with tope solver when context was empty (see 6196af9);
• Fixed #33 (missing coherence check for restricted types).