Указатели на константные объекты

typedef char* pStr;
 
int main ()
{
  const char ch1 = 'a';
  //char* ptr1 = &ch;        // ошибка!
  const char* ptr2 = &ch1;   // ok
 
 
  char ch2 = 'b';
  const pStr ptr3 = &ch2;
  const pStr* ptr4 = &ptr3;  // ok! wtf???
 
  return 0;
}

const type SZ = 100;
type* ptr = &SZ;   // ERROR!

const int SZ = 100;
int* ptr = &SZ;   // ERROR!

typedef char* pStr;
 
int main ()
{
//..............
 
  char ch2 = 'b';
  const pStr ptr3 = &ch2;
  pStr* ptr4 = &ptr3;  // error (убрал const)
 
  return 0;
}

const int SZ = 100;
const int* ptr = &SZ;   // OK

// тогда почему допустим такой код????
const pStr ptr = nullptr;
const pStr* pptr = &ptr;    // обычный указатель без const верхнего и нижнего уровня
                            // указывает на константный объект!!!!

// тогда почему допустим такой код????
const char ptr = 0;
const char * pptr = &ptr;    // обычный указатель без const верхнего и нижнего уровня
                             // указывает на константный объект!!!!

char* const ptr1 = nullptr;  // константный указатель
const char* ptr2;            // указатель на константу

typedef char* pStr;
const pStr* ptr;

const T a = 0;

const T * pA = &a;