including one that's in Ada that almost no other language provides: integer subset types/range types.

This is one of these features that seems so simple and makes life so much easier in embedded programming where you often have exact ranges for things, and also delta types for fixed-point math.