Check in initial (alpha) version of library.
Initial check in program to generate a validator from a specification.