Checking for core-symbols?

[Andreas Röhler]

Hi,

translated a library of math-symbols WRT convenient inserts by their name.
Basically went fine, howeverEmacs got unusable after evaluating the result.

The reason have been some symbols like "and" and "or", which occur in 
math but also in Emacs Lisp.
These got re-defined...

Question: what about preventing such things from inside eval?

The checker below was able to detect the conflicting stuff:

(defun not-permitted ()
  "Check if symbols are used as functions or special forms. "
  (interactive)
  (while
      (and
       (prog1
       (re-search-forward "(defun [^ ]+" nil t 1)
     (forward-char -1))
       (let ((erg (car (read-from-string (thing-at-point 'symbol)))))
     (not (or
           (special-form-p erg)
           (functionp erg)))))))

Maybe such option/utility exists?

Cheers,
Andreas