todso, refined SigmaTyp