Syntactic characterization in Lisp of the polynomial complexity classes and hierarchy