Add an IPAllocator type

Part of ip-per-service
as above wrt to spaces around shift operator.