.Str and .Bool are now just the normal types. The primitives used by 'say' and conditionals are now separate methods. So .gist (and gist()) now do the forced-dwimmy human-readable stringification used by 'say', and .truth is the primitive that returns a 0 or 1 to be used internally by conditionals like 'if' and 'while'.
The old term "slice context" was too overloaded and imprecise; we will now talk about slicing only when discussing multi-argument subscript operations. Various confused levels of treeness may now be distinguished with the .tree method, and the list-of-lists type that used to be "Slicel" is now "LoL". The old "slice" contextualizer is now "lol", and is more or less equivalent to .tree(*.list).LoL, that is do 1 level of tree mapping to list. Note these are now lists of List, not of Seq. That's the only substantive change (along with the .tree method). Almost everything else is just refining the terminology.
The limit is now always a smartmatch, which must match exactly. No attempt is made to intuit which direction the series is going, or to turn exact matches into inequalities. Non-numeric series behavior is regularized to work like single characters, taking into account the target value as indicative of the range desired. The old semantics are relegated to explicit *.succ and limits. Also, ... and ...^ are defined in terms of last($x) vs last().