[polyml] proc-enums?