generic type constraint to size

[Araq]

Easy:
    
    
    proc createT[T](x: T): T=
      static: assert sizeof(T) == 4
      result = x
    
    
    Run