1. A method for managing type information for operands, the method comprising: accomplishing the following results through execution of a single instruction: adding an operand tag to a tag stack; and updating a stack pointer for the tag stack to recognize the addition of the operand tag to the tag stack.