let
fresh_kind () =
variable ()