Added the ability to explicitly describe an expression under validation + some additional cleanup and documentation