27.1.27.2 Instruction typof

Synopsys:

typof

Given a value that is not itself a type, push its type on the stack. Given a value that is a type, push the value on the stack.

Stack: ( VAL -- VAL TYPE )