An object is a sequence of typed objects. ... A symbol is a number ... then the primitive concept is the natural numbers. A sequence is a 1-1 relation with the natural numbers. An ID is a number. A type is a number. ... A sequence of unique, finite sequences [is equivalent to the] natural numbers. ... Everything else is convention.