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