Implemented enum/prod for mixed finite and infintite