Replaces truncate with truncated.

Except in printing the elapsed time, where rounded seemed better.
Also changes format of timing output after running all tests in browser.
Updates dialects staticTypes and grapl.

Updates declarations in staticTypes.
Changes grapl to use truncated.