Add support for Type-1's proximity operator