Add pointer type and record extension