Define " - " as separator for triples.

Fixes issue #8. This commit invalidates programs which use
"symbol-move-state" triples instead of "symbol - move - state" triples.