add terminal type