- Progress on type prop analysis