Namespace typedefs

Typedefs weren't being normalized, so checks that should have worked, didn't.