symbolicMergeWithKind no longer relies on 'unliteral'
symbolicMergeWithKind no longer relies on 'unliteral'

As a result, symbolicMerge now behaves uniformly for all type
instances of 'SBV a'.

josefs/sbv