let string_of_kind =
    fun ty -> List.assoc ty kind_string_assoc