Macro impl_inferbase_real 

macro_rules! impl_inferbase_real {
    ($ty:ty) => { ... };
}

Implement InferBase for a real ALTREP data type.