# File lib/type_checker.rb, line 395
  def process_cvar(exp)
    # TODO: we should treat these as globals and have them in the top scope
    name = exp.shift
    return t(:cvar, name, Type.unknown)
  end