Changed kind enum names to avoid a conflict, added a new well-know root term for special forms, and added a special form implementation.  Added typing for lists and added term literals.