inferredTypescript library to declare type-safe models by inferring model types from their validators.