A TypeScript superset that favors more types and less typing