Implement typedefs. This required discovery of the 'typename' keyword.