performance tuning: more balanced time vs. space tradeoff, notably for datatype package with its many name space operations;