Option, either, and validation are now dynamicaly generated from boolean.
Added more checks.