Speedup UnionAlternativeCollection by using global DataTypeComparer
Speedup `Unifier#AreCompatible` using cache
Speedup 'Mark as Procedure' action by not recreating UI model on each change