Almost there: fixed a ton of equality testing bugs, start state indicator, etc.