renamed functions, added walk

renamed t2-t6 to be more comprehensible
walk runs through a formula, basically checking if all patterns are
implemented (quant is missing atm)