Added TYPEQ as a primop.
Use new primop TYPEQ.