Fix binary mapping type names

The documentation on the names of binary mapping types is wrong/outdated. This PR fixes the issue.