Tweaked method names, added 1-way binds

Implicits now use |==| instead of <==> to distinguish box binding from
FX property binding. Added one-way binding of boxes to fx properties to
allow for covariant/contravariant one-directional binds, e.g. if we
want to bind a Paint property to display a Box[Color].