Encoding Agnostic Validation (Validation Language, Parsers and Encoders)
protonum has been removed and replaced with a single protoparser
The language described bottom up hedge automata with start states on types.