New: new-types