Test: Disable redex substitution
Simplify testUnificationCarriesOver
Apply: Unify dests of already-unified sources

Test no longer allowed to fail
Add test for missing unification trigger
Renames Trigger.Internal to Trigger.Types
Nobody used the exported alias Rule.Func.Triggered