Add type definitions for .map

[frostburn]

Mapping over an algebra element produces an instance of the correct class, but it's not typed properly.