simulate.formula and simulate docs

added check.formula.LHS
added simulate.formula
doc cleanup