note about cmm preprocessor macros
weak head normal form