Formulas have type and guid; test improvements