Library N3658 Compile-time integer sequences

Includes editorial change to simplify example with return type
deduction (as discussed by LWG) so depends on N3638.