type_tyvars : (type -> type list)
#type_tyvars ":bool";; [] : type list #type_tyvars ":(* -> **) -> (bool # ***) -> (** + num)";; [":*"; ":**"; ":***"] : type list