Since timespecs are a pair of (seconds . nanoseconds), and this isn't an abstraction, just a natural hack to get around the sharing record types problem, do we need timespec=?, or will a comment that equal? will Do The Right Thing sufficient?