divide types into holmes_types and types