bunch of changes, mainly ess, scala, some useful (math-relevant) unicode char abbrev seqs etc