Extracts a term if it is wrapped in an rp instance.
(ex-from-rp term) → *
Function:
(defun ex-from-rp (term) (declare (xargs :guard t)) (let ((__function__ 'ex-from-rp)) (declare (ignorable __function__)) (if (is-rp term) (ex-from-rp (caddr term)) term)))