~~Editted spec.md suggesting single-typeset array, for the sanity of the C~~

~~... programmer writing the parser into C.~~

Now an overhaul of the typing system. suggesting the proposed optional nature of the typing system.