Writables: maintain immutability in tuples

Maintain Writable PType immutability through tuple composition, e.g. a tuple of immutable writables is itself immutable. This saves on round trips through bytes in some cases.

The implementation is unfortunately hacky, so the patch is take it or leave it.