Tighten TypeScript types in a module — remove any, narrow unions, make illegal states unrepresentable
