The "apply" primitive has been replaced by user extension tags. The heuristic determination of the properties of extension tags has been improved, and this information is exploited further. The interface with Reduce has been improved, and informative flags can now be used inside user macros.