Use forall symbol in associativity law doc
Treat warnings as errors
Added RAFFunctor, super-protocol to RAFApply

Fixed fucked implementation of -[RAFValidation raf_apply:]