Type Alias UpperOf 

pub type UpperOf<P> = <P as PerThing>::Upper;

Re-export top-level arithmetic stuff. Get the upper type of a PerThing.