adds rule class
removes lazy attribute
adds pda state machine
updates state machine implementation to be testable
fixes symbol errors after moving comparisons to match function.
renames test class