Fix redef of virtual types in redef of App by mnit