Finished section about subtyping relation between the &init and existing pointer reference types