Unify Trigger (unused)
RuleApply: Unify dests when unifying sources
unification carries over should not fail
foo
*great prints*

Conflicts:
	Lamdu/Data/Infer/Rule/Apply.hs