Re: Detecting type errors in template at compile time

[gemath]

If a distinct type is defined for the `val` field of `Real`, automatic type 
conversion is not lifted to it:
    
    
    type
      strictlyFloat = distinct float
      Real = object
        val: strictlyFloat
    
    
    Run

Should do what you want.