Working outo auto-conversion rules for types adorned with < < or @