@bamfic Lisp Machines had hardware supported tagged pointers, but I'm not aware of other features. Nonetheless, the ability to add custom hardware for your programming model worked out really well for them :)