Fix: a recent minor bug/typo for "int" division;
Fix: a minor bug for the "in" operation on maps;
Fix: a minor bug in range slicing on maps;