Refinement types in TypeScript