org.cvogt.scala.constraint
Allow any two types fo !<:
Creates an ambigious implicit for From <: To to prevent that case.