for a being Ordinal holds ord-type {a} = 1