Updating Simulator
Updating types, dirac automaton
Added SpinorConfig and Spinor with algebraic operations