type os