anchor.diff:  The numerical values of `Distance` and `Time` are both inferred as `decimal` (because they
   are small enough). Thus the type of `speed` becomes `decimal<meter/second>`. The compiler
   can then statically check that we're not comparing incompatible values - e.g. number in
  -meters per second against a value in kilometers per hour.
  +meters per second against a value in kilometres per hour.
   *)
   
   (**
  
positive.code:     2012-01-25,29.07,29.65,29.07,29.56,59231700,29.56
      2012-01-24,29.47,29.57,29.18,29.34,51703300,29.34
  
  As usual with CSV files, the first row contains the headers (names of individial columns) 
  and the next rows define the data. We can pass reference to the file to `CsvProvider` to 
  get a strongly typed view of the file:
  *)
  
negative.code: If the header includes the name of one of the standard SI units, then the generated type
  returns values annotated with the appropriate unit. 
  
  In this section, we use a simple file [`docs/SmallTest.csv`](../docs/SmallTest.csv) which
  looks as follows:
  
      Name,  Distance (metre), Time (second)
  