rewrote lowest level of type system such that Universal is now just LL_List and now everything is defined in terms of such generic ordered lists INCLUDING integers - as such, the lowest level is dramatically simplified; there is just a single possrep rather than 2 for all possible Muldis D values, which is arbitrarily nested lists, and there are now just 5 opaque fundamental functions, {EMPTY, prepend, empty, first, nonfirst} in terms of which all other functions and value selectors are defined (except the likes of isa), and Low_Level.mdpt is now about 5% smaller from both this simplification as well as shortening a lot of function names - there is now a new low level type LL_Rational which replaces LL_Integer in terms of it being used where Low_Level had used integers, but the new type only can represent non-negative integers - the String type has been tightened up so it now only represents a string of non-negative integers rather than a string of any integers, which is suitable for its intended uses for generic binary or character strings and identifiers - the generic Integer type which handles both positive and negative integers has been reimplemented as a Capsule type, same as Rational and all other user-level numeric types; or I should say it will be reimplemented as such, and any code using such generic integers still has to be updated to the new status quo, it is still out of date - the generic Boolean type has been promoted to have a lower-level definition than before; it is no longer a LL_Structure like Array/String/Tuple/Relation/Capsule/etc; rather, Boolean false is now defined as the empty LL_List and Boolean true is now defined as the single-element LL_List whose element is the empty list - also renamed the Order singletons {Increase,Decrease} to {Less,More} respectively following the corresponding change to Perl 6 about a month ago - various smaller changes also happened which aren't named in this log entry