ATS2 would give you all the FP + linear types + a proof system. No “capabilities” tho.