[Lang Enhancement Proposal] Implement PblPointer_T to differentiate between native pointers and user-defined pointers

[Luna-Klatzer]

Affected area by change:

• Language Syntax: no
• Language Library (Parac Base Library): yes
• Compiler: yes
• Pre-Processor: no
• Documentation: yes

Short Introduction and Summary
With the proposal of implementing a type-tracking meta-type (#67), there is a new door opening for differentiating User-Pointers (declared/defined in Para-C) and native C-Pointers (declared/defined by the PBL and Compiler). This could enhance the clearness of code, and also allow for better handling in general, as then it can be type-checked and validated.

Is your request related to a problem? Please describe.
Currently, the implementation is thought to convert a user-pointer (*) into a C double-pointer (**) eg. a pointer points to the pointer which points to the memory. This may though be confusing with a PBL or compiler-defined pointer to pointer definition, as those will appear as equal.

Describe the solution you'd like
Implement a new type, with the following signature:

struct PblPointer{
  PblTypeMeta_T* type;
  void* val;
}; 

Describe alternatives you've considered
Perhaps remove the difference altogether of pointers and values in the generated C code of Para-C, as always they will be pointers. As such it's only important to properly implement the functionality, and have the ability to differentiate them in important cases.

Additional context

• [Lang Enhancement Proposal] Implement PblType_T, PblTypeList_T and file scope type tracking (dynamic type checking and conversion) #67