System definition and main Lisp file for eliminating TYPEQ.
Main entry point and auxiliary methods on ELIMINATE.