Seol mar théacs é seo: A practical formal semantic definition and verification system for TYPED LISP /