let no_type_help = "Do not take term types into account"