bug fix: denotation of signatures into finite categories now forms a
congruence w.r.t composition. Also some stuff on json output.
Add json pane to viewer