merged default into issue275 -- comparator problem
added iface from default
Uses FSMState and DistEventType directly in EncodedAutomaton and EventTypeEncodings, moved related methods from AbsFSM to FSM
slight fix to tests, merge in default
minimize off by default
closing branch