type inference constraints for extractvalue instruction - relying on the type annotation for now