ADDED: library(prolog_colour): support for user-provided colouring of
dicts.