tiny-types

Tiny Types: Avoid stringly-typed systems