Text this: Dualized Simple Type Theory