allow type functions/algebras for operators

[zpdDG4gta8XKpMCd]

interface In<a> = { __in: a };
interface Ratio<a, b> = { __ratio: [a, b]; }
let value : number & In<MHz>;
let scale : number & Ratio<Px, MHz>;
declare *<a, b>(left: number & In<a>, right: number & Ratio<b, a>): number & In<b>;
let width = value * scale; // <-- expected number & In<Px>;

[zpdDG4gta8XKpMCd]

related: #4372, #4895, #5599, #6947, #6735

[DanielRosenwasser]

In what way is this distinct from #364?

[zpdDG4gta8XKpMCd]

Units of measure are governed by the rules of arithmetics. Here you define rules as you like.

Which is still 95% of arithmetics when it comes to numbers, but numbers are only a special case.

More to that, a special case in form of units of measure isn't even on the agenda of the future development, whereas a more general solution might make them worthless and unnecessary.

[RyanCavanaugh]

Closing due to lack of additional feedback