It seems to me you could get around the size issue by using an infinite hierarchy instead of the set class distinction.