unify after a union (fixes #3)