type checking problem with enums nested and used in structs

hard to fix due to mutual ordering dependencies with checking closedness of structs
ignored for now, just documented as test case