Add tests for impls over compound types.

    As expected -- it's broken.