fall back to Universe scope if types.Check fails, a "best-effort" which will pick up projected primitives, at least