Redid the specialization infrastructure so that special forms in the language (erps, condition, factor, etc.) can be macros.