A C++ module providing a template subrange type.