"A joint use of both features facilitates the definition of new statements without using meta-programming facilities such as macros." Which two features? They are actually mentioned in other languages but are missing here in the English version.