Begin documenting types of methods
Refactored RAFValidator <: RACCommand; rejiggered constructor

In fact, RAFValidator A <: RACCommand (RAFValidation A).

Also made the by-predicate convenience constructor take a single error.