Este lenguaje se encuentra cercanamente emparentado con LISP WH89, e incluye la transformación de expresiones (re-escritura de términos) como una característica básica de este lenguaje.