Form-yielding macros passes tests. Documentation updated.