Add note about type_hlt to documentation