Incorporate translation machinery into the error reporting

[paluh]

It would be probably enough to just change hardcoded String representation of the errors into a function - something like:

msg = Variant errs -> m String

So all validator constructors would accept this function as an input and use it.

[paluh]

This can be done as in a separate layer but we have this additional type parameter for serializer :-(