sequencibility typeability quantizability separability numerability enumerability loopability predeterminability repeatability listability