Changed error / warning messages in typechecker