Add a new tool, type_completeness, which compares two types databases
where one is a subset of the other and gives a metric of the smaller
table's completeness.