Rethinking System Design For Expressive Cryptography