nitc/typing: document `merge_types`