Separate Core NFData instances
Shortcut unification updates

Don't traverse the term if there's nothing to update!