added string diff, output optimisations, assert/proclaim compat