Removed namespace prefixes from typenames for displaying to the user.

Fixes #389.