Typesafe Coordinate Systems in High-Throughput Sequencing Applications