Epsilon Transitions

They seem to be working. Ignore hacky booleans.