Text this: Predicative theories of continuous lattices