Validate the parsed types.uir.