datum: narrow type of r5js.Datum.desugars_
all: make r5js.Datum.type private and add getter+setter
datum: tighten types of r5js.Datum.desugars_ and nextDesugar_
datum: tighten type of r5js.Datum.nonterminals_