Push terminal types