Updated a ton of shit, including modifying grammar to CORRECT CNF form, we can try to use our only after the algorithm is correctly implmented
(possible bonus)