add stub for enumeration support to Redex