const correctness in ST templates and runtime "lib"
method naming alignment