Free Relatives as Kind-Denoting Terms∗