Add a FIXME about the Banach laws.
Add a FIXME about the Banach laws.

The Banach laws are not being tested because they don't hold for Float
and Double types.  This commit adds a FIXME note so we don't forget to
eventually add support for them.

mredaelli/subhask,Drezil/subhask