Fixed-length tuple implementation
Got some of the shapeless stuff working