Specifying `Formula`s with `attr` still has some rough edges. Fix those, and upate Haddock comments to reflect expected usage.