Separate status from description (closes #5, together with subsequent patches)
SmallCheck: produce better descriptions
HUnit: fix descriptions