Logging little understood maneuverings during type inference

Review by @adriaanm.