attribute ad_hoc_poly for ad-hoc polymorphic symbols ($less, =, etc.)
do not print type arguments of ad-hoc polymorphic functions