handle unknown types in specify type proposal