Implement type aliases.