Implement log for more types

[msullivan]

Currently, log works for integral, floating point, and string types. It will raise an error in trans on other types. We should add support for other types.

[pcwalton]

Fixed by shapes.