semantic: Insert thises in extyper.
semantic: Handle pointers in extyper.