# File lib/type_checker.rb, line 757
  def process_not(exp)
    thing = process exp.shift
    thing.sexp_type.unify Type.bool
    return t(:not, thing, Type.bool)
  end