A small, declarative data modeling and validation library for (potentially) any environment, written in TypeScript