Add terminal type