- special DCD pointer symbols are actually inserted now - they are implicitly dereferenced (max 1 deref) for member access - index accessing them yields proper types (one pointer removed) - they return standard type properties on pointer pointers