Changed type checker debug statements slightly.