Text this: Proximal subdifferential of the bilateral minimal time function and some regularity applications