Lisp CPUs had type bits stored with values, but I can't think of any typed CPUs still in use. What are you thinking of?