Typerequirements: no more maybes, ported Pt2Decl