Minor updates to test results related to generation of named invariant types
Added named typed declarations to the IR