diff from J.
changes to correction targeting
CorrectionVectorTargetting includes CorrectionTargetting
printing in ObservableLibrary