Storable laws

[Henning Thielemann]

On Fri, 15 Dec 2017, Michael Sloan wrote:

> I'm not sure if it makes sense to change the law.  Someone might be
> relying on the behavior of instances that do not fulfill this law.
> Perhaps in those cases it makes sense to just remove the instance.

Storable is intended for data exchange with code written in other 
languages. Thus we must use the same alignment rules as the system ABI.