Promoted

static assert(is(Promoted!byte == int));
static assert(is(Promoted!(SmartInt!byte) == SmartInt!int));
static assert(is(Promoted!int == int));
static assert(is(Promoted!(SmartInt!int) == SmartInt!int));