Improved Formula Handling

Improved the main functions comprehension of formulas. Now it passes the
second test. It can have one or more fixed effects; it no longer expects
exactly two.