Add <: as binary operator.