Fix logic error in stripSpaces()
Reimplement stripSpaces()
Simplify strToTrans()

Since we have a pretty well-defined DSL, space searching won't be
necessary. Besides, stripSpaces() can also be used to turn series of
spaces into a single space.