It's a lot more effort, but branded types for conceptual differences can bridge that last gap