Supply a means to create validators without binding them in a contract #4
Description
Contracts are a bounded outer wrapper for calling a validation, but it would be useful to create smaller validators for purpose of composition. A means to call validation constructors - e.g. by instance eval - would be helpful.