# File lib/type_checker.rb, line 427
  def process_defined(exp)
    thing = process exp.shift
    return t(:defined, thing, Type.bool)
  end