corrects syntax error in export of `disj`
updates tests for use with latest `FactCheck`
Replaces deprecated `delete!` with `splice!`