Add support for alternation, with only conjunctions.
fixed semantics for alternating automata + typos
little fixes
run is _infinite_
th -> the
Merge remote-tracking branch 'origin/alternating-new'

This fixes #2.

Conflicts:
	README.md