Validation errors can now be optionally annotated

Closes #63