public function getRightOperandType() { return $this->typeSystem->getType($this->rightOperandType); }