syntax: merge nullable information on type evolution