code: private void checkOperand(Type type, Expr operand, Environment environment) {
  		checkIsSubtype(type, checkExpression(operand, environment), environment, operand);
  	}
docs: ==========================================================================