More expressive --- I don't necessarily think so.

What types do is make language more precise and deterministic.

[flagged]

[dead]