builtin sub/superscript styles for jedit-4.3.2;

merged

tuned colors;

recovered tooltip Entity content (odd effect of layer change!? cf. 806878ae2219);

more foreground markup, using actual CSS color names;

slightly more general treatment of mutually recursive datatypes; treat datatype constructors and selectors similarly to built-in constants wrt. introduction of explicit application (in the same way as what is already done for eta-expansion)

more explicit check of dependencies;