Fixed state changing Model to bypass crappy existential CS operator. Added set/unset pause state collection to front board