code: private Term evalDatatype(Function term) {
  		Term innerTerm = term.getTerm(0);
  		if (innerTerm instanceof Function) {
  			Function function = (Function) innerTerm;
  			return getDatatype(function);
  		}
  		return term;
  	}
docs: /*
  Expression evaluator for datatype() function