Text this: Restricted analytic valued fields with partial exponentiation.