support for three+ way interactions, proper handling of associative and distribute rules in formulas, and R-compatible ordering of interaction terms after sorting
fix up tests for formula.jl