Computably Extendible Order Types