Added almost complete abbreviated description of formatives, updated
tests.