Write binary instances by hand in Yi.Types

This stops the stupid TH scoping problems seen in 7.8.3