InferRules: don't use Origins for Pi Guids
Fix infinite type detection (hopefully)