v. 0.21

* functional/algebraic framework for types and validators
* wildcard key(s) support
* refactor
* optimise