TUCK TRUE TYPE
TUCK
* TUCK ( a b -- b a b )

shove the top-value under the value beneath. See OVER
and NIP 
 simulate:    : TUCK  SWAP OVER ;

FORTH/ANS core (dpANS.6.2.2300) ordinary primitive