better printing of locations (in case all on the same line)
debug messages in type inference