Outliner: sig-of fix (note: not reusing signature-of from analysis as that would require desugaring first)