class Steep::AST::Types::Var

def self.fresh(name)
  @mutex ||= Mutex.new
  @mutex.synchronize do
    @max ||= 0
    @max += 1
    new(name: :"#{name}(#{@max})")
  end
end