Text this: Categorical composable cryptography: extended version